A Note on Complete Boolean Algebras

نویسنده

  • R. S. PIERCE
چکیده

1. Introduction. Among commutative rings, Boolean algebras stand just below fields in simplicity of structure. In contrast, little is known concerning their classification. The purpose of this paper is to present a decomposition theorem for complete Boolean algebras, which, in a small way, simplifies the classification problem. As an illustration of how this decomposition theorem can be used, it is shown that an infinite cardinal number ^ can be the power of a complete Boolean algebra if and only if b$N° = fc$. The words "complete Boolean algebra" will henceforth often be abbreviated C.B.A. Similarly, B.A. stands for Boolean algebra. The join, meet and complement operations in a B.A. are denoted Vi

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ON THE REPRESENTATION OF <r-COMPLETE BOOLEAN ALGEBRAS

A <r-complete Boolean algebra is a Boolean algebra in which for every sequence of elements a$-, i = l, • • • , there is an element U?an, the countable union of the a», such that aiQU?an for every i, and such that if diQx for every i then U?anQx. The dual operation, countable intersection, can be introduced through complementation, and the distributive law afMJi*'a» = Uf {aC\an) and its dual can...

متن کامل

On the Complexity of Boolean Uni cationFranz

Uniication modulo the theory of Boolean algebras has been investigated by several autors. Nevertheless, the exact complexity of the decision problem for uniication with constants and general uniication was not known. In this research note, we show that the decision problem is p 2-complete for uniication with constants and PSPACE-complete for general uniication. In contrast, the decision problem...

متن کامل

Filter theory in MTL-algebras based on Uni-soft property

‎The notion of (Boolean) uni-soft filters‎ ‎in MTL-algebras is introduced‎, ‎and several properties of them are‎ ‎investigated‎. ‎Characterizations of (Boolean) uni-soft filters are discussed‎, ‎and some (necessary and sufficient) conditions‎ ‎for a uni-soft filter to be Boolean are provided‎. ‎The condensational property for a Boolean uni-soft filter is established.

متن کامل

Representations as Full Peirce Algebras

Extended Abstract In this Note I prove a representation theorem for Peirce algebras introduced in Brink, Britz and Schmidt (1994b, 1994a). I show that the class of full Peirce algebras is characterised by the class of complete and atomic Peirce algebras in which the set of relational atoms is restricted by two conditions. One requires simplicity. The other requires that each relational element ...

متن کامل

On some classes of expansions of ideals in $MV$-algebras

In this paper, we introduce the notions of expansion of ideals in $MV$-algebras, $ (tau,sigma)- $primary, $ (tau,sigma)$-obstinate  and $ (tau,sigma)$-Boolean  in $ MV- $algebras. We investigate the relations of them. For example, we show that every $ (tau,sigma)$-obstinate ideal of an $ MV-$ algebra is $ (tau,sigma)$-primary  and $ (tau,sigma)$-Boolean. In particular, we define an expansion $ ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010